/*test function return statement
 */
/*@*/
int test(int v)
{
	int i;
	bool found;
	i=100;
	found=false;
	while(!found) /*@ */
	{
		if(v==i)
			return v;
		else return i;
	}
	if(found)
		if(i>v)
			return i;
		else{ i=i+1;return i;}
	else {
		while(!found)/*@ */
		{
			if(true){i=i+1;return i;}
			else {return i;}
	
		}
	}
	i=i+1;
	return i;
}
/*@*/	
/*@*/
int main()
{
  int i;
  i = test(0);
  print (i);
  return 0;
}
/*@*/
